Copilot: Monitoring Embedded Systems

Runtime verification (RV) is a natural fit for ultra-critical systems, where correctness is imperative. In ultra-critical systems, even if the software is fault-free, because of the inherent unreliability of commodity hardware and the adversity of operational environments, processing units (and their hosted software) are replicated, and fault-tolerant algorithms are used to compare the outputs. We investigate both software monitoring in distributed fault-tolerant systems, as well as implementing fault-tolerance mechanisms using RV techniques. We describe the Copilot language and compiler, specifically designed for generating monitors for distributed, hard real-time systems. We also describe two case-studies in which we generated Copilot monitors in avionics systems

Spectrum Bias and Individual Strengths of SARS-CoV-2 Serological Tests—A Population-Based Evaluation

Antibody testing for determining the SARS-CoV-2 serostatus was rapidly introduced in early 2020 and since then has been gaining special emphasis regarding correlates of protection. With limited access to representative samples with known SARS-CoV-2 infection status during the initial period of test development and validation, spectrum bias has to be considered when moving from a “test establishment setting” to population-based settings, in which antibody testing is currently implemented. To provide insights into the presence and magnitude of spectrum bias and to estimate performance measures of antibody testing in a population-based environment, we compared SARS-CoV-2 neutralization to a battery of serological tests and latent class analyses (LCA) in a subgroup (n = 856) of the larger population based TiKoCo-19 cohort (n = 4185). Regarding spectrum bias, we could proof notable differences in test sensitivities and specificities when moving to a population-based setting, with larger effects visible in earlier registered tests. While in the population-based setting the two Roche ELECSYS anti-SARS-CoV-2 tests outperformed every other test and even LCA regarding sensitivity and specificity in dichotomous testing, they didn’t provide satisfying quantitative correlation with neutralization capacity. In contrast, our in-house anti SARS-CoV-2-Spike receptor binding domain (RBD) IgG-ELISA (enzyme-linked-immunosorbant assay) though inferior in dichotomous testing, provided satisfactory quantitative correlation and may thus represent a better correlate of protection. In summary, all tests, led by the two Roche tests, provided sufficient accuracy for dichotomous identification of neutralizing sera, with increasing spectrum bias visible in earlier registered tests, while the majority of tests, except the RBD-ELISA, didn’t provide satisfactory quantitative correlations

Population-based study of the durability of humoral immunity after SARS-CoV-2 infection

SARS-CoV-2 antibody quantity and quality are key markers of humoral immunity. However, there is substantial uncertainty about their durability. We investigated levels and temporal change of SARS-CoV-2 antibody quantity and quality. We analyzed sera (8 binding, 4 avidity assays for spike-(S-)protein and nucleocapsid-(N-)protein; neutralization) from 211 seropositive unvaccinated participants, from the population-based longitudinal TiKoCo study, at three time points within one year after infection with the ancestral SARS-CoV-2 virus. We found a significant decline of neutralization titers and binding antibody levels in most assays (linear mixed regression model, p<0.01). S-specific serum avidity increased markedly over time, in contrast to N-specific. Binding antibody levels were higher in older versus younger participants – a difference that disappeared for the asymptomatic-infected. We found stronger antibody decline in men versus women and lower binding and avidity levels in current versus never-smokers. Our comprehensive longitudinal analyses across 13 antibody assays suggest decreased neutralization-based protection and prolonged affinity maturation within one year after infection

Population-based study of the durability of humoral immunity after SARS-CoV-2 infection

SARS-CoV-2 antibody quantity and quality are key markers of humoral immunity. However, there is substantial uncertainty about their durability. We investigated levels and temporal change of SARS-CoV-2 antibody quantity and quality. We analyzed sera (8 binding, 4 avidity assays for spike-(S-)protein and nucleocapsid-(N-)protein; neutralization) from 211 seropositive unvaccinated participants, from the population-based longitudinal TiKoCo study, at three time points within one year after infection with the ancestral SARS-CoV-2 virus. We found a significant decline of neutralization titers and binding antibody levels in most assays (linear mixed regression model, p&lt;0.01). S-specific serum avidity increased markedly over time, in contrast to N-specific. Binding antibody levels were higher in older versus younger participants – a difference that disappeared for the asymptomatic-infected. We found stronger antibody decline in men versus women and lower binding and avidity levels in current versus never-smokers. Our comprehensive longitudinal analyses across 13 antibody assays suggest decreased neutralization-based protection and prolonged affinity maturation within one year after infection

Estimates and determinants of SARS-CoV-2 seroprevalence and infection fatality ratio using latent class analysis: the population-based Tirschenreuth study in the hardest-hit German county in spring 2020

SARS-CoV-2 infection fatality ratios (IFR) remain controversially discussed with implications for political measures. The German county of Tirschenreuth suffered a severe SARS-CoV-2 outbreak in spring 2020, with particularly high case fatality ratio (CFR). To estimate seroprevalence, underreported infections, and IFR for the Tirschenreuth population aged ≥14 years in June/July 2020, we conducted a population-based study including home visits for the elderly, and analyzed 4203 participants for SARS-CoV-2 antibodies via three antibody tests. Latent class analysis yielded 8.6% standardized county-wide seroprevalence, a factor of underreported infections of 5.0, and 2.5% overall IFR. Seroprevalence was two-fold higher among medical workers and one third among current smokers with similar proportions of registered infections. While seroprevalence did not show an age-trend, the factor of underreported infections was 12.2 in the young versus 1.7 for ≥85-year-old. Age-specific IFRs were <0.5% below 60 years of age, 1.0% for age 60–69, and 13.2% for age 70+. Senior care homes accounted for 45% of COVID-19-related deaths, reflected by an IFR of 7.5% among individuals aged 70+ and an overall IFR of 1.4% when excluding senior care home residents from our computation. Our data underscore senior care home infections as key determinant of IFR additionally to age, insufficient targeted testing in the young, and the need for further investigations on behavioral or molecular causes of the fewer infections among current smokers

Time Trend in SARS-CoV-2 Seropositivity, Surveillance Detection- and Infection Fatality Ratio until Spring 2021 in the Tirschenreuth County—Results from a Population-Based Longitudinal Study in Germany

Herein, we provide results from a prospective population-based longitudinal follow-up (FU) SARS-CoV-2 serosurveillance study in Tirschenreuth, the county which was hit hardest in Germany in spring 2020 and early 2021. Of 4203 individuals aged 14 years or older enrolled at baseline (BL, June 2020), 3546 participated at FU1 (November 2020) and 3391 at FU2 (April 2021). Key metrics comprising standardized seroprevalence, surveillance detection ratio (SDR), infection fatality ratio (IFR) and success of the vaccination campaign were derived using the Roche N- and S-Elecsys anti-SARS-CoV-2 test together with a self-administered questionnaire. N-seropositivity at BL was 9.2% (1st wave). While we observed a low new seropositivity between BL and FU1 (0.9%), the combined 2nd and 3rd wave accounted for 6.1% new N-seropositives between FU1 and FU2 (ever seropositives at FU2: 15.4%). The SDR decreased from 5.4 (BL) to 1.1 (FU2) highlighting the success of massively increased testing in the population. The IFR based on a combination of serology and registration data resulted in 3.3% between November 2020 and April 2021 compared to 2.3% until June 2020. Although IFRs were consistently higher at FU2 compared to BL across age-groups, highest among individuals aged 70+ (18.3% versus 10.7%, respectively), observed differences were within statistical uncertainty bounds. While municipalities with senior care homes showed a higher IFR at BL (3.0% with senior care home vs. 0.7% w/o), this effect diminished at FU2 (3.4% vs. 2.9%). In April 2021 (FU2), vaccination rate in the elderly was high (>77.4%, age-group 80+)